Resolve

Resolve[expr] attempts to resolve expr into a form that eliminates ForAll and Exists quantifiers. 

Resolve[expr,dom] works over the domain dom. Common choices of dom are Complexes, Reals, and Booleans. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.